Language of mathematics

Results: 1871



#Item
91Natural language processing / Mathematics / Algebra / Information science / Graph theory / Computational linguistics / Network analysis / Algebraic graph theory / Automatic summarization / Multi-document summarization / Dragomir R. Radev / Centrality

Journal of Artificial Intelligence Research) ?-? Submitted 07/04; publishedLexRank: Graph-based Centrality as Salience in Text Summarization

Add to Reading List

Source URL: tangra.si.umich.edu

Language: English
92Computability theory / Mathematical logic / Mathematics / Theoretical computer science / Theory of computation / Computable function / Primitive recursive function / operator / Language identification in the limit / Sequence / Arithmetical hierarchy / Cauchy sequence

Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2013-05-10 05:50:36
93English-language education / Education / English-language learner / Second-language acquisition / Education reform / English as a second or foreign language / National Council of Teachers of Mathematics / Academia / Educational psychology

Vol. 2, No. 1 FALL 2010 ISSNonline]

Add to Reading List

Source URL: www.todos-math.org

Language: English - Date: 2013-08-28 19:59:14
94Software engineering / Mathematics / Declarative programming / Lambda calculus / Functional programming / Functions and mappings / Let expression / Embedding / Monad / Anonymous function

A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
95Formal sciences / Metalogic / Proof theory / Philosophers of mathematics / Mathematical logic / Proof mining / Logic / Foundations of mathematics / Workshop on Logic /  Language /  Information and Computation / Mathematics / Type theory / Model theory

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2016-05-30 12:23:35
96Educational psychology / Childhood / Educational stages / Literacy / Preschool / Learning / Foundation for the Development of Caribbean Children / Skills for Life

BRIEFING #1 Early language, literacy and mathematics learning: Why does it matter and who benefits? Every child aged between birth and five years should have access to high quality language, literacy and mathematics lear

Add to Reading List

Source URL: www.thelearningtrust.org

Language: English - Date: 2013-09-09 02:26:58
97Linguistics / Linguistic typology / Language / International Linguistics Olympiad / International Science Olympiad / Amharic / Dutch language / Multilingualism / Assignment / Pseudocode / Translation

Multilingual Editing of Linguistic Problems Ivan Derzhanski Department of Mathematical Linguistics Institute of Mathematics and Informatics Bulgarian Academy of Sciences

Add to Reading List

Source URL: anthology.aclweb.org

Language: English - Date: 2013-07-25 09:32:21
98Logic / Linguistics / Mathematics / Lexicography / Definition / Meaning / Philosophical logic / Philosophy of language / Semantics / Group / Subgroup

EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 183 DATE: MAY 1, 2016 PROJECT DP0142

Add to Reading List

Source URL: www.cooperativepatentclassification.org

Language: English - Date: 2016-04-05 10:54:25
99

School District of Altoona Academic Standards forThe Altoona School Board has adopted the Common Core Standards for Mathematics and English Language Arts, including the Standards for Literacy in all Subjects. Th

Add to Reading List

Source URL: www.altoona.k12.wi.us

Language: English - Date: 2015-08-04 13:29:33
    100Knowledge representation / Knowledge engineering / Semantic Web / Scientific modeling / Information science / Ontology / Web Ontology Language / Visual modeling / Diagram / Annotation / Modeling language / Class diagram

    Advanced ontology visualization with OWLGrEd Jānis Bārzdiņš, Kārlis Čerāns, Renārs Liepiņš, Artūrs Sproģis Institute of Mathematics and Computer Science, University of Latvia, Raina blvd. 29, LV-1459, Riga, L

    Add to Reading List

    Source URL: webont.org

    Language: English - Date: 2013-11-14 03:46:33
    UPDATE